caT, a Petri net-based hypertext system, supports the modeling of user characteristics, contextual information, as well as the policies that govern the operation of a digital library within the infrastructure that presents ...